аксиоматическая формулировка

axiomatic formulation

Русско-английский физический словарь. 2013.

Смотреть что такое "аксиоматическая формулировка" в других словарях:

  • Аксиоматическая теория множеств —         формулировка множеств теории (См. Множеств теория) в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Основным побудительным стимулом для построения А. т. м. явилось открытие в «наивной» теории множеств Г. Кантора.… …   Большая советская энциклопедия

  • АКСИОМАТИЧЕСКАЯ КВАНТОВАЯ ТЕОРИЯ ПОЛЯ — (АКТП) квантовая теория поля (КТП), построенная но образцу аксиоматич. теории, т …   Физическая энциклопедия

  • Формальная арифметика —         формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см …   Большая советская энциклопедия

  • ИНВАРИАНТНОСТЬ — (от лат. invarians, род. п. invariantis неизменяющийся), неизменность, независимость от нек рых физ. условий. Чаще рассматривается И. в матем. смысле неизменность к. л. величины по отношению к нек рым преобразованиям. Напр., если рассматривать… …   Физическая энциклопедия

  • КВАНТОВАЯ ТЕОРИЯ ПОЛЯ. — КВАНТОВАЯ ТЕОРИЯ ПОЛЯ. Содержание:1. Квантовые поля ................. 3002. Свободные поля и корпускулярно волновой дуализм .................... 3013. Взаимодействие полей .........3024. Теория возмущений ............... 3035. Расходимости и… …   Физическая энциклопедия

  • Парадокс Бурали-Форти — демонстрирует, что предположение о существовании множества всех порядковых чисел ведёт к противоречиям и, следовательно, противоречивой является теория множеств, в которой построение такого множества возможно. Содержание 1 Формулировка 2 История …   Википедия

  • НЕЙМАН Джон фон — (Neumann, John von) (1903 1957), один из самых блестящих математиков первой половины 20 в. Родился 28 декабря 1903 в Будапеште. В 1926 окончил Будапештский университет, получив степень доктора философии. Продолжил математические исследования в… …   Энциклопедия Кольера

  • ХААГА ТЕОРЕМА — следствие постулатов аксиоматич. квантовой теории поля, демонстрирующее нетривиальный характер связи свободного и взаимодействующего полей в релятивистской теории. Доказана Р. Хаагом (R. Haag) в 1955. Согласно X. т., взаимодействия представление… …   Физическая энциклопедия

  • ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …   Математическая энциклопедия

  • МЕТАТЕОРИЯ — совокупность математич. средств и методов, предназначенных для описания и определения нек рой формальной аксиоматич. теории, а также для исследования ее свойств. М. является важной составной частью метода формализации одного из центральных… …   Математическая энциклопедия

  • Гамильтон, Уильям Роуэн — Уильям Роуэн Гамильтон William Rowan Hamilton …   Википедия

Книги

Другие книги по запросу «аксиоматическая формулировка» >>

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.